1
No trataremos del axioma de elección, cuya discusión no es esencial.
2
El axioma de elección es independiente de la teoría de Zermelo-Fraenkel.
3
A partir de ZF no puede probarse ni el axioma de elección ni su negación.
4
La hipótesis del continuo y el axioma de elección
5
De manera que el axioma de elección da otro ejemplo de un enunciado indecidible para una teoría.